منابع مشابه
Saturated models of universal theories
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a number of important conservation theorems. A constructive, algebraic variation of the method is described, providing yet a third approach, which is finitary but retains the semantic flavor of the model-theoretic version.
متن کاملDecompositions of saturated models of stable theories
We characterize the stable theories T for which the saturated models of T admit decompositions. In particular, we show that countable, shallow, stable theories with NDOP have this property. Partially supported by NSF Grants DMS 0071746 and DMS 0300080. Partially supported by U.S.-Israel Binational Science Foundation Grant no. 2002323 and Israel Science Foundation Grant no. 242/03. Publication n...
متن کاملOn the Existence of Saturated Models of Stable Theories
It is proven that a theory T stable in a power X, A > 7" , has a saturated model of cardinality X. The purpose of this note is to show that a theory stable in the power A, A > \T\, has a saturated model of cardinality A. This statement has been well known and easily seen for regular A (even for A = \T\). We shall, therefore, consider the case of a singular A > \T\. Our result was stated in [l] ...
متن کاملRigid א 2 - saturated models of superstable theories ∗
In a countable superstable NDOP theory, the existence of a rigid א2-saturated model implies the existence of 2 λ rigid א2-saturated models of power λ for every λ > 2א0 .
متن کاملCentralization and decentralization: Theories and Models
The questions of centralization and decentralization arise in every polity. The constitution or the practice or both have to settle how much of policy making is to be decided by the central government and by component bodies. By and large liberalism and decentralization tend to go together while authoritarianism tends to be associated with centralization. The constitutional model which is gener...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2002
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(02)00030-1